NullMachine $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$<\lambda$$b$,$n$,$s$. inr $\cdot$ , $\lambda$$k$,$v$,$s$. $s$, $\lambda$$k$,$v$,$s$. []$>$